fpf{-}is{-}empty($f$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($\parallel$$f$.1$\parallel$ =$_{0}$ 0)